OCL and Model Driven Engineering
نویسندگان
چکیده
Precise modeling is essential to the success of the OMG’s Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable models. Can OCL be extended to become a full high-level executable language with side-effects? At the meta-level (M2), queries, views and transformations are subjects that will be vital to the success of the OMG’s Model Driven Architecture initiative. Will OCL 2.0 become an essential part of the Queries/Views/Transformations standard and what will be its application areas in industry? Can the features of OCL 2.0 be used in the Model Driven Engineering (MDE) approach? This workshop aims at bringing together people from academia that are expected to report on inspiring ideas for innovative application scenarios and tools, and industrial practitioners, which are expected to provide statements on their view of the future of OCL in the context of MDE.
منابع مشابه
HOL-OCL: A Formal Proof Environment for UML/OCL
We present the theorem proving environment HOL-OCL that is integrated in a Model-driven Engineering (MDE) framework. HOL-OCL allows to reason over UML class models annotated with OCL specifications. Thus, HOL-OCL strengthens a crucial part of the UML to an objectoriented formal method. HOL-OCL provides several derived proof calculi that allow for formal derivations establishing the validity of ...
متن کاملA Formal Proof Environment for UML / OCL
We present the theorem proving environment HOL-OCL that is integrated in a Model-driven Engineering (MDE) framework. HOL-OCL allows to reason over UML class models annotated with OCL specifications. Thus, HOL-OCL strengthens a crucial part of the UML to an objectoriented formal method. HOL-OCL provides several derived proof calculi that allow for formal derivations establishing the validity of ...
متن کاملUsing an OCL Impact Analysis Algorithm for View-Based Textual Modelling
The Object Constraint Language (OCL) has become a vital part of many frameworks, tools and languages within model-driven engineering. One such application of OCL is the use for describing rules in concrete syntax definitions. Within the textual modeling framework FURCAS, OCL is extensively used for the definition of lookup and attribution rules. Based on these rules the model which is described...
متن کاملIncremental Evaluation of OCL Invariants in the Essential MOF Object Model
The management of metamodels is supported by runtime environments that enforce the well-formedness of (meta-)model instances. Beyond this basic functionality, additional capabilities are needed in order to successfully establish a toolchain for Model-Driven Software Engineering. We focus on two such capabilities: transactions and efficient evaluation of invariants, not in the usual context of d...
متن کاملDeclarative model constraints using OCL
A concept called Model Driven Architecture was launched in 2001 by the Object Management Group as a way of supporting Model Driven Engineering. The concept of using models to aid in the design of computer software is not new, however the use of models as a primary design artifact, and tools to automatically generate structural code from them is a newer approach. A typical problem however has be...
متن کامل